home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2006 April / DPPRO0406DVD.ISO / Essentials / Programming / Eclipse SDK / eclipse-SDK-3.1.1-win32.exe / eclipse / plugins / org.eclipse.help.webapp_3.1.0 / advanced / view.jsp < prev    next >
Encoding:
Text File  |  2005-09-29  |  2.0 KB  |  50 lines
  1. <%--
  2.  Copyright (c) 2000, 2004 IBM Corporation and others.
  3.  All rights reserved. This program and the accompanying materials 
  4.  are made available under the terms of the Eclipse Public License v1.0
  5.  which accompanies this distribution, and is available at
  6.  http://www.eclipse.org/legal/epl-v10.html
  7.  
  8.  Contributors:
  9.      IBM Corporation - initial API and implementation
  10. --%>
  11. <%@ include file="fheader.jsp"%>
  12.  
  13. <% 
  14.     new ActivitiesData(application, request, response); // here it can turn filtering on or off
  15.     LayoutData data = new LayoutData(application,request, response);
  16.     View view = data.getCurrentView();
  17.     if (view == null) return;
  18. %>
  19.  
  20. <html>
  21.  
  22. <head>
  23. <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  24. <title><%=ServletResources.getString(view.getName(), request)%></title>
  25.  
  26. <script language="JavaScript">
  27.  
  28. function onloadHandler(e)
  29. {
  30. <% if (data.isIE() || data.isMozilla() && "1.2.1".compareTo(data.getMozillaVersion()) <=0){
  31. %>    var h=window.<%=view.getName()%>ToolbarFrame.document.getElementById("titleText").offsetHeight; <%-- default 13 --%>
  32.     if(h<=19){
  33.         return; <%-- no need to resize up to 19px --%>
  34.     }
  35.     document.getElementById("viewFrameset").setAttribute("rows", (11+h)+",*"); <%-- default 24 --%>
  36.     window.<%=view.getName()%>ToolbarFrame.document.getElementById("titleTextTableDiv").style.height=(9+h)+"px"; <%-- default 22 --%>
  37. <%}%>
  38. }
  39. </script>
  40.  
  41. </head>
  42.  
  43. <frameset id="viewFrameset" onload="onloadHandler()" rows="24,*" frameborder="0" framespacing="0" border=0  >
  44.     <frame id="toolbar" name="<%=view.getName()%>ToolbarFrame" title="<%=ServletResources.getString(view.getName()+"ViewToolbar", request)%>" src='<%=view.getURL()+view.getName()+"Toolbar.jsp"%>'  marginwidth="0" marginheight="0" scrolling="no" frameborder="0" noresize=0>
  45.     <frame name='<%=view.getName()%>ViewFrame' title="<%=ServletResources.getString(view.getName()+"View", request)%>" src='<%=view.getURL()+view.getName()+"View.jsp?"+request.getQueryString()%>'  marginwidth="10" marginheight="0" frameborder="0" >
  46. </frameset>
  47.  
  48. </html>
  49.  
  50.